MGI:4438718 http://identifiers.org/mgd/MGI:4438718 JHDM2a<KI> Kdm3a<tm1Jsak> targeted mutation 1, Juro Sakai